// Entrance to Ariant Castle

void portal_main(Player @player, Portal @portal) {
player.changeMap(260000301, "out00");
}